An Illustrated Situation Calculus Abstraction for Iterative Explanatory Diagnosis
نویسندگان
چکیده
منابع مشابه
Explanatory Diagnosis: Conjecturing Actions to Explain Observations
Our concern in this paper is with conjecturing diagnoses to explain what happened to a system, given a theory of system behaviour and some observed (aberrant) behaviour. We characterize what happened by introducing the notion of explanatory diagnoses in the language of the situation calculus. Explanatory diagnosesconjecture sequencesof actions to account for a change in system behaviour. We sho...
متن کاملApplication of DJ method to Ito stochastic differential equations
This paper develops iterative method described by [V. Daftardar-Gejji, H. Jafari, An iterative method for solving nonlinear functional equations, J. Math. Anal. Appl. 316 (2006) 753-763] to solve Ito stochastic differential equations. The convergence of the method for Ito stochastic differential equations is assessed. To verify efficiency of method, some examples are ex...
متن کاملCognitive Diagnosis Using Item ResponseModels
DOI 10.1027/0044-3409.216.2.74 Abstract. In this paper, I will describe a particular approach to cognitive diagnosis that is centered on the idea of developmental assessment, and illustrate how data from this approach can be modeled using explanatory item response models. The developmental assessment approach starts with the idea of a progression of learning embodied in what are called progress...
متن کاملAbstraction in Situation Calculus Action Theories
ion in Situation Calculus Action Theories Bita Banihashemi York University Toronto, Canada [email protected] Giuseppe De Giacomo Sapienza Università di Roma Roma, Italy [email protected] Yves Lespérance York University Toronto, Canada [email protected]
متن کاملLocal Abstraction-Refinement for the mu-Calculus
Counterexample-guided abstraction refinement (CEGAR) is a key technique for the verification of computer programs. Grumberg et al. developed a CEGAR-based algorithm for the modal μ-calculus. There, every abstract state is split in a refinement step. In this paper, the work of Grumberg et al. is generalized by presenting a new CEGAR-based algorithm for the μ-calculus. It is based on a more expre...
متن کامل